nonvarying constraint

不变约束